equipment used in mining industry and uses