comminution theory for ball mill