Planning as Search: A Quantitative Approach