Ismail Barhoum is one of the most senior Hamas figures killed since Israel resumed military action.