请介绍红黑树的基本性质、插入和删除操作的时间复杂度，以及它在实际工程中的典型应用场景。

回答思路

1. 准确描述红黑树的五个基本性质（节点颜色、根黑、叶子黑、红色子节点黑、任意路径黑高相同）
2. 说明插入和删除操作的时间复杂度为O(log n)
3. 列举至少一个典型应用场景（如TreeMap、C++ STL map/set、Linux CFS调度器等）并解释选择原因