Measurement of the $${\mathrm {t}\overline{\mathrm {t}}}$$ t t ¯ production cross section, the top quark mass, and the strong coupling constant using dilepton events in pp collisions at $$\sqrt{s}=13\,\text {Te}\text {V} $$ s = 13 Te