The Lattice of Synchrony Subspaces of a Coupled Cell Network: Characterization and Computation Algorithm