Ping-pong robot Ace makes history by beating top-level human players