Applications of operations research and management science for military decision making.