涵洞是埋置于地层内的一种地下建筑物。( )