Model Theory of Modules, Algebras and Categories