Empirical contract theory: The case of insurance data