A matheuristic for optimizing skip–stop operation strategies in rail transit lines