Gravar-mail: Principled sure independence screening for Cox models with ultra-high-dimensional covariates