machines used to mine iron