Efficiency-increasing driver assistance at signalized intersections using predictive traffic state estimation.