Including electricity imports in California’s cap-and-trade program: A case study of a border carbon adjustment in practice