A Lorentzian Gromov–Hausdorff notion of distance