name of equipment in mining