tools used for mining iron ores