An application of a strain hardening model to the design of tunnels in sand