Bayesian Time-Domain Finite Element Model Updating Of Civil Infrastructure Systems