rail tunnel construction