milling of rock