Emissions Trading in Practice: Handbook on Design and Implementation