Taifead r-phoist: Framework for the Verification of Geometric Digital Twins: Application in a University Environment