Outracing Human Racers with Model-based Planning and Control for Time-trial Racing