Dynamic Models for International Environmental Agreements