Tits Buildings and the Model Theory of Groups