Was Sebastian Vettel's F1 penalty appropriate for the incident in question?