Symbolic models for nonlinear time-delay systems using approximate bisimulations