how fast do ball mills rotate