mining production process of iron ore