Symbolic models for nonlinear control systems affected by disturbances