High-Speed Brushless Doubly-Fed Machines For Aviation Propulsion Applications