Approximately bisimilar symbolic models for nonlinear control systems