Low-Carbon Comfort Management for Smart Buildings