North Korea may be mining bitcoin in addition to hacking it