texas redistricting lawsuit