To beat Vegas bookies at the World Cup, these statisticians turned to artificial intelligence