Occurrence of selenocysteine in the selenium-dependent formate dehydrogenase of Methanococcus vannielii