Carbon-energy taxation