https://blog.rainsin.cn/posts/red-black-tree/