Retirement planning - mixing pension and 401(k)/TSP