Deligne-Lusztig theory