As of 2020, how many vice presidents have gone on to become president in the US?