Deep in the Pentagon, a secret AI programme to find hidden nuclear missiles