机械自动化在煤矿机械制造中的应用浅析