What happens with final salary pensions if you wind down to retirement by going from full-time to part-time for several years?