Si subiera la edad de pensión en Colombia, ¿cuánto tiempo se demoraría en jubilarse un trabajador?