mining for iron ore and what do they use it for