煤矿开采方法 [赖立学，郭力 主编] 2013年