Iran: Israeli spy executed