煤矿开采基本理论及概念