How Do Retirees Value Life Annuities? Evidence from Public Employees