https://fire-gas.com/types-of-fire-extinguishing-systems/