Pensacola gunman was working with al Qaeda, FBI finds