The electric power engineers' handbook : a manual devoted to the operation and maintenance of motors, generators, converters, and rectifiers in theory and practice, together with notes on modern industrial installations