Optimal pollution taxation in a Cournot duopoly