Head injuries in professional male football (soccer) over 13 years: 29% lower incidence rates after a rule change (red card)