Military Operations Research: Quantitative Decision Making (International Series in Operations Research & Management Science)