An Approach for Data Extraction, Validation and Correction Using Geometrical Algorithms and Model View Definitions on Building Models