About 80 percent of the troops that Russia massed along Ukraine’s borders