急斜煤层普通机械化开采;急斜煤层综合机械化开采;急斜厚煤层水平分段放顶煤开采