Lawrence Lessig: The Electoral College Is Constitutionally Allowed to Choose Clinton over Trump