An energy tax would curb ordinary air pollution, limit oil imports and cut the budget ______