machines used for mining iron ore