Search for standard model production of four top quarks in proton–proton collisions at s=13 TeV