Symbolic models for linear control systems with disturbances