home > > tools used to mine iron ore