IRS overpaid nearly $3.5 billion in Obamacare tax credits 2017