Formula One's transformation from a gentlemen's hobby into a global entertainment business under Liberty Media, which has doubled revenues to $3.9bn since 2017.