A finite strain numerical procedure for a circular tunnel in strain-softening rock mass with large deformation