A Bayesian learning approach to inconsistency identification in model-based systems engineering