Energy demand, substitution and environmental taxation: An econometric analysis of eight subsectors of the Danish economy