the meaning of coal mill