IRS funding boost sets high hopes for smoother tax filing season