More time for judo matches? Analysis of type of techniques, time, scores, and penalties in the Tokyo 2020 Olympic Games · Study