Roof Stability Evaluation of Bedded Rock Salt Cavern Used as Underground Gas Storage