Here’s what comes next in the Texas redistricting battle