Interpolation in Extensions of First-Order Logic