North Korea's Economy Grows 3.1% in 2023, Driven by Arms Trade with Russia