How F1 ended up with a one car grid and what would have happened if no cars took the restart