Modeling the Post-Peak Strength Degradation on Tunnel Stability