equipment in mining or exploring crushing coal to dust