“The pay-as-you-go system for Social Security is dynamically inefficient when a country has a shrinking or slowly growing population.”