North Korea by the numbers