An introduction to model theory