BIM Application for the Basilica of San Marco in Venice: Procedures and Methodologies for the Study of Complex Architectures