Search for doubly charged Higgs boson production in multi-lepton final states with the ATLAS detector using proton–proton collisions at $\sqrt{s}=13\,\text {TeV}$