A theoretical and computational model of eddy-current probes incorporating volume integral and conjugate gradient methods