How soon does the IRS process a check from an amended return ?