Earmarking of Environmental Taxes: Efficient, after All