types of equipment in mining industry