The US Electoral College explained for foreigners