Data on the North Korean Economy and Its Applications