Search for doubly charged Higgs boson production in multi-lepton final states with the ATLAS detector using proton–proton collisions at √s=13TeV