fast calculation of Texas Hold'em poker odds