Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case