cement industry as cement mill