the process of mining iron ore