Optimal HARA Investments with Terminal VaR Constraints (Advances in Operations Research, 2022)