Symbolic Abstractions of Networked Control Systems