world distribution of iron ore mining