what are some of the equipments used in mining industry