US social security math raises questions