As-Built verification and BIM modelling