Modelling carbon trading and refrigerated logistics services within a fresh food supply chain under carbon cap-and-trade regulation | Synapse