Gravar-mail: Search for dark matter produced in association with a leptonically decaying [Formula: see text] boson in proton–proton collisions at [Formula: see text]