According to the 2000 census, what is the population of Texas?