US sues Texas over border