Supreme Court strikes down as vague part of immigration law