An introduction to height theory