Did torture help find bin Laden?