A heads-up no-limit Texas Hold'em poker player: discretized betting models and automatically generated equilibrium-finding programs.