Discussion of P. Diamond and J. Mirrlees, "Payroll-Tax Financed Social Insurance with Variable Retirement"