Privacy-preserving location-based traffic density monitoring