A Model of Social Insurance With Variable Retirement