Rule change and Olympic judo scores, penalties and match duration