Understanding House Edge in Provably Fair Dice