What we know about Israel’s attack on Iran