What IAEA docs say about Iran's nuclear program, before the bombs fell