Text this: Application of the eddy current method to measuring the internal diameter of conductive pipes for space instruments