彩票数学模型