Energy efficiency and structural change in the Netherlands, 1980–1990