Inverse stochastic dominance constraints and quantile utility theory