阐述矿山竖井掘进方法的分类