Supplementary Insurance with Ex-post Moral Hazard: Efficiency and Redistribution