Análise praxeológica de livros didáticos de matemática: o caso dos números binários