A Bayesian Probabilistic Approach to Damage Detection for Civil Structures