Benders Decomposition-Based Optimization of Train Departure Frequencies in Metro Networks