Add MiP documentation