Integrated stochastic optimization approaches for tactical scheduling of trains and railway infrastructure maintenance