equipment used in mining mineral ores