process of mining of iron ore