Conditional Value-at-Risk in Stochastic Programs with Mixed-Integer Recourse