Text this: Scheduling of petroleum refinery operations.