Synchronization in network dynamical systems