Taille du marché de l’automatisation minière, part et analyse de l’industrie, par type, par offre, par application (entretien minier) et prévisions régionales, 2026-2034