what is tool used to mine iron