How many congressional electors does congressional house district have?