Border Adjustments for Carbon Emissions: Basic Concepts and Design