Except as provided in AS 22.25.023(b), a retired justice or judge eligible for retirement pay shall receive from the date of eligibility until death monthly retirement pay equal to five percent per year of service, to a maximum of 75 percent, of the monthly salary authorized for justices and judges, respectively, at the time each retirement payment is made. For a justice or judge who was first employed in this retirement system on or after July 1, 1996, base annual salary does not include remuneration in excess of the limitations set out in 26 U.S.C. 401(a)(17) (Internal Revenue Code).