The church of santa engrácia (the national pantheon, Lisbon, Portugal): Building campaigns, conservation works, stones and pathologies