tools used for mining iron ore