煤矿绿色开采技术的应用及前景