Interpolation, Definability and Fixed Points in Interpretability Logics