¿Cuánto fue, en pesos, el Producto Interno Bruto de Colombia en 2025?