US retirement benefit tax choices