Text this: Ground interpolation for the theory of equality