A Survey on Binary Tree Codings