Explained: Why Kimi Antonelli was hit with a post-race F1 penalty despite retiring