stochastic choice, logit, axiomatic foundation