Model Theory of Groups and Automorphism Groups