Ranked by F1 qualifying speed and using machine learning to compare drivers since 1983, the Brazilian legend comes out on top.