U.S. electors officially elect Barack Obama