Introduction to Probability with Texas Holdem Examples