An Automated Framework for Generating Synthetic Point Clouds from as-Built BIM with Semantic Annotation for Scan-to-BIM | IEEE Conference Publication | IEEE Xplore