What Are Prediction Markets? Event Risk, Information Aggregation, and the Meaning of Market Probabilities