A Hybrid Benders Approach for Coordinated Capacitated Lot-Sizing of Multiple Product Families with Setup Times