How North Korea turns coal into gas, and what it might mean for sanctions