High temperature superconducting rotating electrical machines: An overview | Synapse