Generating K-Anonymous Logs of People-Tracing Systems in Surveilled Environments