导航软件是怎么知道红绿灯读秒的？难道有交警的数据？