MODULAR THEORY IN OPERATOR ALGEBRAS