Estimation, characteristics, and determinants of energy-related industrial CO2 emissions in Shanghai (China), 1994–2009