predecessor/successor in BST