DISPLIB: a library of train dispatching problems