average diameter of ball mills