the mill for grinding coal