SMS dit: The potential of automated rule-based verification for fire safety measures in BIM