introduction to a ball mill