Optimal Pollution Taxation and Abatement When Leisure and Environmental Quality are Complements