machine used to mine iron