Theoretical research on gas seepage in the formations surrounding bedded gas storage salt cavern