Safety barrier performance assessment based on multi-phase Markov model and EPN: Application to FPSO gas leakage · Study