Text this: Solution of Hamilton-Jacobi-Bellman Equation in Optimal Reinsurance Strategy under Dynamic VaR Constraint