Pentagon to cut some staff at Defense Technical Information Center