How Israel might strike at Iran