An overview of flywheel energy systems with HTS bearings