Theory of operator algebras