The origins of 60-Hz as a power frequency