Provably Fair Casinos: How They Work