Life-cycle asset allocation with annuity markets · Study