Strategy-Proofness, Independence of Irrelevant Alternatives, and Majority Rule