Politica Crece la minería durante agosto IPI Minero, un indicador de producción industrial Admin9 de octubre de 2023