Environmental Protection and Optimal Taxation