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