机械自动化在煤矿采掘中的应用