Gunman in Orlando workplace rampage was Army vet