Quantitative environmental economics : modeling marketable permits in discrete and continuous time