Text this: A Comparison of Two Models for Rolling Stock Scheduling.