ball mill of quarrying process