Pollution-reducing innovations under taxes or permits