what year did thomas jefferson become president of the united state?