machines used to quarry granite stone