Randomized controlled trials with time-to-event outcomes: How much does prespecified covariate adjustment increase power?