Text this: An introduction to the mathematics of planning and scheduling /