The population of Texas grew from 20 million in the year 2000 to 31 million as of 2025