Text this: Emission Discharge Permits, Ambient Concentrations, and a Margin of Safety: Trading Solutions with a Computer-assisted Smart Market for Air Quality