process for mining iron ore