Getting into Kalshi: How Regulated Prediction Markets Actually Work