自动化技术在煤矿采煤中的应用