Electrical, magnetic and thermal circuit modelling of a superconducting half-wave transformer rectifier flux pump using Simulink