A probabilistic analysis of the risk of nuclear deterrence failure