Comonotonicity and Pareto Optimality, with Application to Collaborative Insurance