Should we be gritting pavements to prevent pedestrian injuries?