Symbolic Models for Nonlinear Time-Delay Systems Using Approximate Bisimulations