difference between quarrying and milling of rock