Maintenance ferroviaire, Méthodes exactes, Ordonnancement, programmation mathématique, Programmation par contraintes.