what is mining of iron ore