A location data protection protocol based on differential privacy