Title: Probability models for assessing the value of battle damage assessment in the defense against sequential theater missile attacks