The cease-fire in Gaza by the numbers