Second-best pollution taxation and environmental quality