Describir: Optimal Long-Term Health Insurance Contracts: Characterization, Computation, and Welfare Effects.