Modifying the definition of normal retirement age and the computation of the formula program retirement annuity under the teachers retirement association (TRA) (je)