Spurious trip rate modelization and quantitative assessment of emergency shutdown system in the oil and gas industry