Algebraic Number Theory and Model Theory