Flux-focusing eddy current sensor with magnetic saturation for detection of water pipe defects