The facts about police radar