On the closure ordinal of the inductive definition of truth for first order arithmetic