GAO gives IRS report card on modernization effort