Highway tunnel