definition of horizontal cement mill