Interpolation and Symbol Elimination