equipments working in coal mines during the industrial revolution