Model theory : an introduction