An Analytical Performance Model of Opportunistic Spectrum Access in a Military Environment