coal mill is used for drying and grinding coal