use of a ball mill