A judge has ordered the Trump administration to admit some 12,000 refugees into the United States