Production lot-sizing and carbon emissions under cap-and-trade and carbon tax regulations | Synapse