Important step towards restoring regional stability: EU chief Leyen welcomes Trump's announcement of Israel-Iran ceasefire