Official: FBI finds link between Pensacola gunman, al-Qaida