Machine Learning Assisted Adjustment Boosts Inferential Efficiency of Randomized Controlled Trials