On High-Dimensional Covariate Adjustment for Estimating Causal Effects in Randomized Trials with Survival Outcomes