Israeli spy executed in Tehran