Finding Pareto optimal insurance contracts