how does a ball cement mill work