A Utility-Aware General Framework With Quantifiable Privacy Preservation for Destination Prediction in LBSs | Synapse