A mixed integer linear programming formulation of the optimal mean/Value-at-Risk portfolio problem