A Core-Theoretic Solution for the Design of Cooperative Agreements on Transfrontier Pollution