In a match between a top-ranked (9-dan) champion player and a machine, in a board game described as having more possible configurations for its pieces than atoms in the observable universe, when did a machine win?