Actuaries to Departments of Labor and Treasury: Annuities Are an Efficient Way to Insure Retirement