Approximately 800 employees in the Office of Personnel Management retirement services division historically processed paper retirement applications manually in Boyers, Pennsylvania