Beginning Model Theory: The Completeness Theorem and Some Consequences