what coal mill of a cement industry