Interpolation and Definability