Over 4 percent of all Monero was mined by malware botnets