the process of mining for iron