Invia SMS: Cap and trade policies for air quality: a computer-assisted smart market with a margin of safety