Independence of irrelevant alternatives