Optimal valuation of variable annuity guaranteed lifetime withdrawal benefits with embedded top-up option