附录3：井巷掘进断面及工作量计算公式