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