Charles Leclerc was hit with a 20-second penalty post-race at the Miami GP, and here's an explainer why.