Analysis of underground excavations incorporating the strain softening of rock masses