equipments and implements used for coal mining