Modifying the early retirement annuity reduction formula under the Minnesotastate retirement system (MSRS) correctional employees retirement plan (mk)