what is the process of how iron ore is mined