涵洞的填土高度指的深什么