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