Modelling and construction of a compact 500 kg HTS magnetic bearing