“Choice is merely another name for discrimination—to rank alternatives according to some attribute. It is not discrimination that is condemned, but “invidious” discrimination—by whatever criteria enough people consider undesirable—such as religion, nationality, and gender.”