When will robots win a game of association football (soccer) against professional human players?