Estimation of summary protective efficacy using a frailty mixture model for recurrent event time data