News Wrap: FBI says Pensacola gunman tied to al-Qaida