Approximately bisimilar symbolic models for incrementally stable switched systems