Environmental policy and technological innovation