Mining social sensing data: Representation, modeling, and applications