How machine learning plays a role in F1 racing