DOJ sues Texas over redistricting mapspack