what is used to mine iron