company-mode autocompletion for auctex