Tamaño continuo del mercado de mineros, participación, crecimiento y análisis de la industria por tipo (alimentado eléctricamente y alimentado con petróleo) por aplicación (minería al aire libre, minería subterránea y otros) pronósticos regionales de 2025 a 2033