Proportionality can have wildly disproportionate consequences: How Israel missed its chance to eliminate the leadership of Hamas