North Korean workers are being exported to make money for the government, a BBC investigation finds. Source: BBC