Benders decomposition-based optimization of train departure frequencies in metro networks