煤矿开掘管理细则