Stochastic Programs with First-Order Dominance Constraints Induced by Mixed-Integer Linear Recourse