What is Deligne-Lusztig theory?