Measuring environmental policy stringency: Approaches, validity, and impact on environmental innovation and energy efficiency