A framework for the optimization of doctrine and systems in Army Air Defense units using predictive models of stochastic computer simulations