Variable payout annuities and dynamic portfolio choice in retirement