Prediction Markets: Fundamentals, Designs, and Applications