Superconducting permanent magnets and their application in magnetic levitation