How Bad Is the IRS Social Welfare Group Targeting?