how do cement ball mills work