Taille du marché de l’exploitation minière intelligente, part et analyse de l’industrie, par type, par composant, prévisions régionales, 2024-2032