Auctioning Conservation Contracts: A Theoretical Analysis and an Application