BST: search in O(log n)