A Bayesian Mixture Model of Temporal Point Processes with Determinantal Point Process Prior