Modeling Dependence in the Design of Crop Insurance Contracts