亚信科技、郑煤机集团组建合资公司 开创“矿山与装备制造数智运营”新模式