in what year was thomas jefferson vice president?