what is a device for grinding coal