Tomita-Takesaki theory