煤矿开采中机械自动化技术的应用及发展