who invented ball millwho invented