Probabilistic choice set generation in transportation demand models