the equipment used in mining