IRS asks airlines to refund tax on plane tickets sold before July 23