Two models of interfering predators in impulsive biological control