Computational Models of Nuclear Proliferation