North Korea’s economy shrinks under weight of sanctions