Armature winding analysis for high-temperature superconducting PM-excited AC machines