Risk-Sensitive Optimal Execution via a Conditional Value-at-Risk Objective