“China's economy is significantly more electrified than that of the United States, as measured by the share of final energy consumption that comes from electricity.”