Iran henrettet tirsdag en mann som var funnet skyldig i å ha spionert for den israelske etterretningstjenesten Mossad, opplyser rettsvesenet i landet.