production equipment in coal mining