Charles Leclerc was penalised for overtaking Lewis Hamilton off the track, but he still benefitted from the manoeuvre