theory behind a ball mill