How Longer Work Lives Ease the Crunch of Population Aging