Effect of voids on the seismic vulnerability of mountain tunnels