Bayesian model updating of concrete-embedded miter gate anchorages and implications for design