Modular Theory in Operator Algebras