Third Circuit rejects IRS’s mootness claims