Prediction markets have an insider-trading problem that isn’t easy to solve