hall sensor in magnetic levitation.