An Infinite-Horizon Model of Dynamic Membership of International Environmental Agreements