A mathematical programming model to select maintenance strategies in railway networks