Cracking the vault: Artificial intelligence judging comes to gymnastics