The math behind senator Boxer’s push to abolish the Electoral College