the mining of iron ore