Symbolic models for nonlinear control systems using approximate bisimulation