Image-based techniques for the survey of mosaics in the Basilica di San Marco in Venice