how do they mine iron ore