TechNet, a group representing technology companies that challenged the Trump order, welcomed the decision