IRS to lay off roughly 7,000 employees in Trump downsizing spree