How many US House reps did Oklahoma have after the 2000 census?