A levitation-type linear synchronous microactuator using the Meissner effect of high-Tc superconductors