Interpolable Formulas in Equilibrium Logic and Answer Set Programming