Iran executes Iranian-German national after terrorism conviction, state media says