Model Theory Of Operator Algebras