High precision vehicle positioning method based on traffic light