The Calculus of Retirement Income: Financial Models for Pension Annuities and Life Insurance