A Lattice-Based Model to Evaluate Variable Annuities with Guaranteed Minimum Withdrawal Benefits under a Regime-Switching Model