Optimization of Value-at-Risk: computational aspects of MIP formulations. Issue 5 (4th May 2018)