Mastering the Game: An Interview with a Professional Texas Hold’em Player