how is iron ore mining done