ball mills invention