The tech behind traffic apps: How (well) do they work?