Theory and Application of High Temperature Superconducting Eddy Current Probes for Nondestructive Evaluation