what is mining process of iron ore