Egypt executes top militant Hisham Ashmawi