what are the equipments for mining