Israel and Hamas have reached a cease-fire. Now what?