What happens to JD Vance's Senate seat now that he is projected to be vice president?