IIS branch-and-cut for joint chance-constrained stochastic programs and application to optimal vaccine allocation · Study