From 'Shield' to 'Edge': How Israel names its military ops