ball mill used in quartz grinding process