An introduction to wave maps