An IFC schema extension and binary serialization format to efficiently integrate point cloud data into building models. (August 2017)