Gravar-mail: A model checking method for the proportional hazards model with recurrent gap time data