What oil at $100 a barrel would mean for the world economy