Industroyer: A cyber‑weapon that brought down a power grid