煤矿开采技术的发展及存在的问题