Environmental Kuznets Curve of greenhouse gas emissions including technological progress and substitution effects