Prediction market trading infrastructure