How many times had Eisenhower been elected to office prior to becoming president?