government cryptocurrency-mining malware disclosed by security researcher