Efficiency loss of a tax