Mechanism Design for Sustainability: Techniques and Cases