Better automated abstraction techniques for imperfect information games, with application to Texas Hold'em poker