July tax filings helped boost revenue, but U.S. budget deficit is tipping towards $3 trillion for 2020