The Model Theory of Modules