Title: A model of social insurance with variable retirement