Unit Commitment Model in Smart Grid Environment Considering Carbon Emissions Trading | Synapse