equipment in use in mining industry