what is the process of mining iron ore