process of cutting stone in quarries