what tools are used to mine iron ore