Non-linear finite-element modelling of room and pillar mine workings including the strain-softening behaviour of the rock mass