A giant botnet is forcing Windows servers to mine cryptocurrency