Producción industrial cae fuerte en diciembre: Minería anotó su peor registro desde febrero de 2019