Mitigating carbon emissions by energy transition, energy efficiency, and electrification: Difference between regulation indicators and empirical data