equipment used in mining industry