Computers can now challenge -- and beat -- professional poker players at Texas hold 'em