Probabilistic fault diagnosis of safety instrumented systems based on fault tree analysis and Bayesian network