fine pulverizer used in the ball mill of granite