Geometric survey data and historical sources interpretation for hbim process: The case of mantua cathedral facade