process of mining for iron ore