who invent ball mill