Historic Materials in the Digital Age: How Digitally Assisted Stone Carving Adds a New Dimension to Heritage Restoration