Safety Risk Assessment of Hydraulic Climbing Formwork Construction Based on System-Theoretic Process Analysis and Dynamic Bayesian Networks | Synapse