How much infrastructure does the world need?