Zaslat SMS: Analysis and control design of sustainable policies for greenhouse gas emissions