Algorithms for automated verification of BIM models' compliance with regulatory requirements: computational complexity, cost-effectiveness of development, and design risk reduction | Synapse