DOJ sues Texas