Nonparametric identification of discrete choice models