Leveraged buybacks of sovereign debt: a model and an application to Greece