Search for heavy lepton partners of neutrinos in proton–proton collisions in the context of the type III seesaw mechanism