Aging, retirement, and pay-as-you-go pensions