what machiene is used to mine iron ore