The Trump administration sued over its amendments to immigration rules