A model of lottery jackpots and their interactions with ticket sales and winnings