Machine learning to optimize precision in the analysis of randomized trials: A journey in pre-specified, yet data-adaptive learning