how fine does a ball mill crush