Iran executes ‘high-ranking spy’ for Israel’s Mossad