Kazhdan–Lusztig theory