A Bayesian instrumental variable model for multinomial choice with correlated alternatives. (March 2023)