Probability Models for Assessing the Value of Battle Damage Assessment in the Defense Against Sequential Theater Missile Attacks