A stochastic model for the probability of malaria extinction by mass drug administration