Design of the upper space of the Tehran-Tabriz Railway Tunnel