Supreme Court: Tax Court lacks jurisdiction when levy is satisfied