Understanding Penalty Bets: What They Are and How They Work