The Kremlin has revised its nuclear policy. Does that make the use of atomic weapons more likely?