Von Neumann's construction of factors