7,000 Android devices are infected with ADB.Miner malicious programs