used in mining mineral ores