use of ball mill for granite grit production