Tamaño del mercado de lubricantes para minería, participación y análisis de la industria, por tipo (lubricantes de aceite mineral, lubricantes sintéticos y lubricantes de base biológica), por aplicación (minería de carbón, minería de mineral de hierro, minería de bauxita, minería de minerales de tierras raras y metales preciosos, y otros) y pronóstico regional, 2026-2034