process of digging out granite and quarries