Taxing Energy to Improve the Environment: Efficiency and Distributional Effects