矿井拱形断面计算方法有哪些