A Quantitative Theory of Social Security Without Commitment