Hamstring muscle injury is preceded by a short period of higher running demands in professional football players