Foundations of Prediction Markets