Graph partitions and cluster synchronization in networks of oscillators