how is f1 world champion decided