What Texas Redistricting Means