Traffic Signal Phase and Timing Estimation with Large-Scale Floating Car Data