Environmental policy and industrial innovation