As of 2017, how many U.S. vice presidents have been elected to the presidency while serving as vice president?