A dynamic lot sizing model with carbon emission constraint and multi-mode production: A general property and a polynomially solvable case | IEEE Conference Publication | IEEE Xplore