How progressive jackpots are funded, what the meter means, and why the displayed total is not pure profit.