5 things you should know about the Electoral College