An introduction to right-angled Artin groups