Energy Optimization Model with CO 2-Emission Constraints for the Canadian Oil Sands Industry