坑道横截面的规格