What we know about Israel’s overnight attack on Iran