A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext)