what are the tool used to mine iron ore