How many times did the House of Representatives vote before declaring Thomas Jefferson the third president?