Models in Planning: An Introduction to the Use of Quantitative Models in Planning