what is coal mill of a cement industry