涵洞按建筑材料可分为砖涵、石涵、混凝土涵和( )。