Mechanisms for Prediction Markets