How Israel is bringing an end to Hamas’ tunnels