An integrated quantitative hazard analysis method for natural gas jet release from underground gas storage caverns in salt rock. I: Models and validation · Study