Energy Emissions Mitigation Using Green Roofs: Probabilistic Analysis and Integration in Market-Based Clean Air Policies