The US president is not directly elected by a majority in the popular vote, but through an institution called the Electoral College. So how does it work?