Optimal life cycle portfolio choice with variable annuities offering liquidity and investment downside protection