Annuity Options in Public Pension Plans: The Curious Case of Social Security Leveling