Exact and Approximate Stability Conditions for Cluster Synchronization of Kuramoto Oscillators