Invia SMS: Pricing Mechanisms for Cap and Trade Policies: Computer-assisted Smart Markets for Air Quality