Independence of irrelevant alternatives criterion