Overview of the techniques (diagnostic survey, weathering studies, provenance analysis) available for in situ and laboratory testing of natural stones used in historical monuments