Optimal emission taxation and the Porter hypothesis under Bertrand competition