A Methodology to Convert Highly Detailed BIM Models into 3D Geospatial Building Models at Different LoDs | Synapse