Estimating carbon leakage and the efficiency of border adjustments in general equilibrium — Does sectoral aggregation matter?