Cooperative Procurement Problems and Benders Decomposition