智慧矿山多装备协同作业与高效管控平台关键技术及应用