Simulation and Test for the Thermal Behaviour of a Prototype Synchronous Generator with HTS Armature Windings