A Generalization of the KaplanMeier estimator for analyzing bivariate mortality under right-censoring and left-truncation with applications in model-checking for survival copula models