Automated Safety Risk Assessment Framework by Integrating Safety Regulation and 4D BIM-Based Rule Modeling | Synapse