Hackers Turn More Than 3,500 Redis Servers Into Cryptocurrency Miners