The Model theory of groups