Nonconcave Optimal Investment with Value-at-Risk Constraint: An Application to Life Insurance Contracts · Study