A machine learning methodology for probabilistic risk assessment of process operations: A case of subsea gas pipeline leak accidents · Study