The hunt for Osama bin Laden: how was he found?