A brief introduction to affine Deligne-Lusztig varieties