Retirement planning for public sector workers