ball mill is the major quartz mining mill plant