machines used when mining iron ore