Restricting immigration means constricting trade in services