Foundations for BIM-based model checking systems : transforming regulations into computable rules in BIM-based model checking systems