machinery used to mine iron ore