GS3 and Tartanian: game theory-based heads-up limit and no-limit Texas Hold'em poker-playing programs