Seismic design of tunnels