total amount of iron ore in the world