Text this: An eddy-current gauge for measuring the wall thickness of light-alloy drill pipes