Iran executes former high-ranking defense ministry official