Quantitative Modeling of Emission Markets