How do Pro Poker Players Think?