¿Cuánto tendría que esperar un trabajador para jubilarse si sube la edad de pensión?