朝鮮民主主義人民共和国の鉱業