ArtGIS: a GIS tool to quantify the architectural deteriorations of the Cimitero Maggiore in Pavia, Italy.