US federal workers gain roth option