thomas jefferson was the vice president when the president was?