Iran executes four over links to Israeli intelligence