Scheduling Models for Short-term Railway Traffic Optimisation