history of mineral ball mills