Public Employees Retirement Association employer failure to record service correction provision and employee and employer contributions on omitted service and extending Rule of 90 eligibility for an eligible employee requirement provision