How young can a Formula 1 world champion actually be?