First-order stochastic dominance