Text this: Semianalytical Solution for Large Deformation of Salt Cavern with Strain-Softening Behavior