Calculate win chance in three-player dice game | Jane Street