Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 217)