what are the equipments used in mining