Text this: Optimized Skip-Stop Metro Line Operation Using Smart Card Data