Life-Cycle Asset Allocation with Annuity Markets: Is Longevity Insurance a Good Deal?