how much coal is used in the world