Summary of major differences between Congressional Research Service (CRS) and Office of Personnel Management (OPM) studies of prevailing non-federal retirement practices