Insurance Market Equilibrium: Contract Formation, Heterogeneity, and Operational Efficiency