A meta-model approach for formal specification and consistent management of multi-LOD building models. (April 2019)