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