The North Korean economy is doing badly, but keep some perspective