微信红包的随机算法是怎样实现的？