Title: Public versus private insurance with non-expected utility