On the Electrical Aging of the Insulation in PWM-Fed High-Speed Electric Machines: Analysis, Modelling, and Mitigation