PRIVE: anonymous location-based queries in distributed mobile systems