Max Verstappen was awarded 20 seconds’ worth of penalties in Mexico, but were they warranted? Laurence Edmondson dives into the rulebook for answers.