Texas gerrymandering battle doesn’t matter to voters. They lose either way