Model Theory of Algebra and Arithmetic