VAR will come to Formula 1