NBC: CIA reveals model used to plan strike against Al-Qaeda leader Zawahiri