Public BIM-based model checking solutions: lessons learned from Singapore and Norway