How progressive jackpots work: contribution rates and odds