Rock mass response for lined rock caverns subjected to high internal gas pressure | Synapse