Poroelastic model in a vertically sealed gas storage: a case study from cyclic injection/production in a carbonate aquifer